home *** CD-ROM | disk | FTP | other *** search
/ Linux Cubed Series 3: Developer Tools / Linux Cubed Series 3 - Developer Tools.iso / devel / lang / lisp / stk-3.002 / stk-3 / STk-3.1 / Doc / Extension / Makefile < prev    next >
Encoding:
Makefile  |  1995-07-15  |  416 b   |  25 lines
  1. #
  2. # Makefile for Doc/Extension
  3. #
  4.  
  5. SRC = Extending.tex
  6.  
  7. all: dvi ps
  8.  
  9. dvi:     Extending.dvi
  10. ps:    Extending.ps
  11.  
  12. Extending.dvi: $(SRC)
  13.     echo -n > Extending.ind
  14.     latex Extending; makeindex Extending; bibtex Extending;
  15.     latex Extending; latex Extending
  16.  
  17. Extending.ps: Extending.dvi
  18.     dvips -f Extending > Extending.ps
  19.  
  20. clean:
  21.     rm -f *.aux *.idx *.log *~ *.so *.bbl *.blg *.ilg *.ind *.toc
  22.  
  23. very-clean: clean
  24.     rm -f *.dvi *.ps
  25.